[and.git] / UVa / 737 - Gleaming the cubes / .metadata / .plugins / org.eclipse.core.runtime / .settings / org.eclipse.jdt.ui.prefs
| blob | e8e3e35e28fce9d3127ac518e02d1069756e0bfd |
1 #Sat Mar 01 02:31:22 GMT 2008
2 useQuickDiffPrefPage=true
3 org.eclipse.jdt.ui.text.templates_migrated=true
4 proposalOrderMigrated=true
5 tabWidthPropagated=true
6 org.eclipse.jdt.ui.text.code_templates_migrated=true
7 org.eclipse.jdt.ui.javadoclocations.migrated=true
8 org.eclipse.jdt.ui.text.custom_code_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>
9 useAnnotationsPrefPage=true
10 org.eclipse.jface.textfont=1|Monospace|10|0|GTK|1|;
11 org.eclipse.jdt.ui.editor.tab.width=
12 org.eclipse.jdt.ui.formatterprofiles.version=10
13 org.eclipse.jdt.ui.text.custom_templates=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/>
14 eclipse.preferences.version=1
15 internal.default.compliance=default
16 fontPropagated=true